Integration of Static Instruction Analysis with Dynamic Information Flow Tracking
نویسندگان
چکیده
Computer security is a constant issue for computer systems; thus, many schemes have been proposed to stop specific attacks. In this paper, we present a software implementation of the Dynamic Information Flow Tracking (DIFT) system which is designed to stop a broad range of control flow attacks [9]. We modified the SimpleScalar/PISA simulator (v.3.0) to include an extended instruction set implementing tag operations. Due to the software nature of our scheme we can apply static analysis of assembly code.
منابع مشابه
A Fully Integrated Method for Dynamic Rock Type Characterization Development in One of Iranian Off-Shore Oil Reservoir
Rock selection in modeling and simulation studies is usually based on two techniques; routinely defined rock types and those defined by special core analysis (SCAL). The challenge in utilizing these two techniques is that they are frequently assumed to be the same, but in practice, static rock-types (routinely defined) are not always representative of dynamic rock-types (SCAL defined) in the re...
متن کاملFinancial Crisis and Steel Trade Integration in Asia and Pacific: A Static and Dynamic Analysis
The objective of this paper is to explore the effect of financial crisis on trade flows of steel industries in the major Asian-Pacific steel producing countries. Using a static and dynamic panel data analysis, we test the hypothesis that the global financial crisis has a negative effect on Asia-Pacific bilateral steel trade flows. We also examine the role of regional trade integration in bilate...
متن کاملLiterature Review of Traffic Assignment: Static and Dynamic
Rapid urban growth is resulting into increase in travel demand and private vehicle ownership in urban areas. In the present scenario the existing infrastructure has failed to match the demand that leads to traffic congestion, vehicular pollution and accidents. With traffic congestion augmentation on the road, delay of commuters has increased and reliability of road network has decreased. Four s...
متن کاملEnd-to-end Multilevel Hybrid Information Flow Control
We present models and soundness results for hybrid information flow, i.e. for mechanisms that enforce noninterference-style security guarantees using a combination of static analysis and dynamic taint tracking. Our analysis has the following characteristics: (i) we formulate hybrid information flow as an endto-end property, in contrast to disruptive monitors that prematurely terminate or otherw...
متن کاملNonlinear Dynamic Modeling and Hysteresis Analysis of Aerospace Hydro - dynamical Control Valves
A new procedure for deriving nonlinear mathematical modeling for a specific class of aerospace hydro - mechanical control valves is presented. The effects of friction on the dynamic behavior of these types of valves along with the experimental verifictions are also given. The modeling approach is based on the combination of the following three tasks: decomposition of the valve into simple speci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006